Free shipping on all orders! No minimum purchase required.
Formal Methods in Systems Engineering
by Peter Ryan (Editor), Chris Sennett (Editor)